This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Lire la suiteThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suiteThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suiteBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lire la suiteModel-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...
Lire la suiteConstitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lire la suiteThis paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lire la suiteThisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
Lire la suiteThis book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
Lire la suiteThis book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Lire la suiteThis book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...
Lire la suiteThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThe recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
Lire la suiteThis volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
Lire la suitefeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lire la suiteThis revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...
Lire la suite